Module isotope::ctx::cons[][src]

Expand description

Contexts for hash-consing terms

Traits

ConsCtx

A type which may be used as a context for creating isotope terms